- автомат над термами
- Mathematics: generalized automaton
Универсальный русско-английский словарь. Академик.ру. 2011.
автомат над термами
Смотреть что такое "автомат над термами" в других словарях:
АВТОМАТ — управляющая система, являющаяся автоматом конечным или некоторой его модификацией, полученной путем изменения компонент или функционирования. Основное понятие конечный А. возникло в середине 20 в. в связи с попытками описать на математическом… … Математическая энциклопедия
АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… … Математическая энциклопедия
АВТОМАТОВ АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ — направление в автоматов теории, характеризующееся использованием алгебраич. средств в изучении автоматов. А. а. т. основана на том, что автоматы можно рассматривать как нек рые специальные алгебры или алгебраические системы. Кроме того, события,… … Математическая энциклопедия
АВТОМАТА ПОВЕДЕНИЕ — математическое понятие, описывающее взаимодействие автомата с внешней средой. Так, для автомата конечного внешней средой обычно является множество входных слов, а поведением словарная функция, реализуемая автоматом, или событие (иногда… … Математическая энциклопедия
